Ben Liblit: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2006 13th Working Conference on Reverse Engineering - Benevento, Italy (2006.10.23-2006.10.27)] 2006 13th Working Conference on Reverse Engineering - Extracting Output Formats from Executables

Lim, Junghee, Reps, Thomas, Liblit, Ben

Year:

2006

Language:

english

File:

PDF, 374 KB

english, 2006

2

Titanium: a high-performance Java dialect

Yelick, Kathy, Semenzato, Luigi, Pike, Geoff, Miyamoto, Carleton, Liblit, Ben, Krishnamurthy, Arvind, Hilfinger, Paul, Graham, Susan, Gay, David, Colella, Phil, Aiken, Alex

Journal:

Concurrency Practice and Experience

Year:

1998

Language:

english

File:

PDF, 89 KB

english, 1998

3

Supporting nested transactional memory in logTM

Moravan, Michelle J., Bobba, Jayaram, Moore, Kevin E., Yen, Luke, Hill, Mark D., Liblit, Ben, Swift, Michael M., Wood, David A.

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

4

[IEEE 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) - Florence, Italy (2015.5.16-2015.5.24)] 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering - Database-Backed Program Analysis for Scalable Error Propagation

Weiss, Cathrin, Rubio-Gonzalez, Cindy, Liblit, Ben

Year:

2015

Language:

english

File:

PDF, 772 KB

english, 2015

5

Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Ohmann, Peter, Liblit, Ben

Journal:

Automated Software Engineering

Year:

2016

Language:

english

File:

PDF, 3.16 MB

english, 2016

6

Evolvix BEST Names for semantic reproducibility across code2brain interfaces

Loewe, Laurence, Scheuer, Katherine S., Keel, Seth A., Vyas, Vaibhav, Liblit, Ben, Hanlon, Bret, Ferris, Michael C., Yin, John, Dutra, Inês, Pietsch, Anthony, Javid, Christine G., Moog, Cecilia L., Me

Journal:

Annals of the New York Academy of Sciences

Year:

2017

Language:

english

File:

PDF, 1.37 MB

english, 2017

7

[IEEE 2009 IEEE 31st International Conference on Software Engineering - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 IEEE 31st International Conference on Software Engineering - HOLMES: Effective statistical debugging via efficient path profiling

Chilimbi, Trishul M., Liblit, Ben, Mehra, Krishna, Nori, Aditya V., Vaswani, Kapil

Year:

2009

Language:

english

File:

PDF, 697 KB

english, 2009

8

[ACM Press the - Pittsburgh, PA, USA (2015.10.27-2015.10.27)] Proceedings of the on Eclipse Technology eXchange - ETX 2015 - CSIclipse: presenting crash analysis data to developers

Ohmann, Peter, Liblit, Ben

Year:

2015

File:

PDF, 327 KB

2015

9

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Defective error/pointer interactions in the Linux kernel

Rubio-González, Cindy, Liblit, Ben

Year:

2011

Language:

english

File:

PDF, 263 KB

english, 2011

10

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Supporting nested transactional memory in logTM

Moravan, Michelle J., Bobba, Jayaram, Moore, Kevin E., Yen, Luke, Hill, Mark D., Liblit, Ben, Swift, Michael M., Wood, David A.

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

11

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - Optimizing customized program coverage

Ohmann, Peter, Brown, David Bingham, Neelakandan, Naveen, Linderoth, Jeff, Liblit, Ben

Year:

2016

Language:

english

File:

PDF, 343 KB

english, 2016

12

[IEEE 2008 SC - International Conference for High Performance Computing, Networking, Storage and Analysis - Austin, TX, USA (2008.11.15-2008.11.21)] 2008 SC - International Conference for High Performance Computing, Networking, Storage and Analysis - Lessons learned at 208K: Towards debugging millions of cores

Lee, Gregory L., Ahn, Dong H., Arnold, Dorian C., de Supinski, Bronis R., Legendre, Matthew, Miller, Barton P., Schulz, Martin, Liblit, Ben

Year:

2008

Language:

english

File:

PDF, 357 KB

english, 2008

13

Bug isolation via remote program sampling

Liblit, Ben, Aiken, Alex, Zheng, Alice X., Jordan, Michael I.

Journal:

ACM SIGPLAN Notices

Year:

2003

Language:

english

File:

PDF, 252 KB

english, 2003

14

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - Error propagation analysis for file systems

Rubio-González, Cindy, Gunawi, Haryadi S., Liblit, Ben, Arpaci-Dusseau, Remzi H., Arpaci-Dusseau, Andrea C.

Year:

2009

Language:

english

File:

PDF, 787 KB

english, 2009

15

[ACM Press the - Pittsburgh, PA, USA (2015.10.27-2015.10.27)] Proceedings of the on Eclipse Technology eXchange - ETX 2015 - CSIclipse: presenting crash analysis data to developers

Ohmann, Peter, Liblit, Ben

Year:

2015

Language:

english

File:

PDF, 327 KB

english, 2015

16

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Scalable statistical bug isolation

Liblit, Ben, Naik, Mayur, Zheng, Alice X., Aiken, Alex, Jordan, Michael I.

Year:

2005

Language:

english

File:

PDF, 176 KB

english, 2005

17

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Cooperative debugging with five hundred million test cases

Year:

2008

Language:

english

File:

PDF, 99 KB

english, 2008

18

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Automated atomicity-violation fixing

Jin, Guoliang, Song, Linhai, Zhang, Wei, Lu, Shan, Liblit, Ben

Year:

2011

Language:

english

File:

PDF, 591 KB

english, 2011

19

[ACM Press the Conference - Portland, Oregon (2009.11.14-2009.11.20)] Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis - SC '09 - Scalable temporal order analysis for large scale debugging

Ahn, Dong H., de Supinski, Bronis R., Laguna, Ignacio, Lee, Gregory L., Liblit, Ben, Miller, Barton P., Schulz, Martin

Year:

2009

Language:

english

File:

PDF, 615 KB

english, 2009

20

Supporting nested transactional memory in logTM

Moravan, Michelle J., Bobba, Jayaram, Moore, Kevin E., Yen, Luke, Hill, Mark D., Liblit, Ben, Swift, Michael M., Wood, David A.

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

21

[ACM Press the 2018 26th ACM Joint Meeting - Lake Buena Vista, FL, USA (2018.11.04-2018.11.09)] Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 - Code vectors: understanding programs through embedded abstracted symbolic traces

Henkel, Jordan, Lahiri, Shuvendu K., Liblit, Ben, Reps, Thomas

Year:

2018

Language:

english

File:

PDF, 335 KB

english, 2018

22

[IEEE 2012 Fourth International Conference on Communication Systems and Networks (COMSNETS) - Bangalore, India (2012.01.3-2012.01.7)] 2012 Fourth International Conference on Communication Systems and Networks (COMSNETS 2012) - A router primitive approach for building diverse network services

Sommers, Joel, Barford, Paul, Liblit, Ben

Year:

2012

Language:

english

File:

PDF, 302 KB

english, 2012

23

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Adaptive bug isolation

Arumuga Nainar, Piramanayagam, Liblit, Ben

Year:

2010

Language:

english

File:

PDF, 196 KB

english, 2010

24

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Control-flow recovery from partial failure reports

Ohmann, Peter, Brooks, Alexander, D'Antoni, Loris, Liblit, Ben

Year:

2017

Language:

english

File:

PDF, 353 KB

english, 2017

25

[ACM Press the 23rd international conference - Pittsburgh, Pennsylvania (2006.06.25-2006.06.29)] Proceedings of the 23rd international conference on Machine learning - ICML '06 - Statistical debugging

Zheng, Alice X., Jordan, Michael I., Liblit, Ben, Naik, Mayur, Aiken, Alex

Year:

2006

Language:

english

File:

PDF, 316 KB

english, 2006

26

Error propagation analysis for file systems

Rubio-González, Cindy, Gunawi, Haryadi S., Liblit, Ben, Arpaci-Dusseau, Remzi H., Arpaci-Dusseau, Andrea C.

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 787 KB

english, 2009

27

Analyzing memory ownership patterns in C libraries

Ravitch, Tristan, Liblit, Ben

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 561 KB

english, 2013

28

Automatic generation of library bindings using static analysis

Ravitch, Tristan, Jackson, Steve, Aderhold, Eric, Liblit, Ben

Journal:

ACM SIGPLAN Notices

Year:

2009

Language:

english

File:

PDF, 812 KB

english, 2009

29

Automated atomicity-violation fixing

Jin, Guoliang, Song, Linhai, Zhang, Wei, Lu, Shan, Liblit, Ben

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 591 KB

english, 2011

30

[ACM Press the 2007 international symposium - London, United Kingdom (2007.07.09-2007.07.12)] Proceedings of the 2007 international symposium on Software testing and analysis - ISSTA '07 - Statistical debugging using compound boolean predicates

Arumuga Nainar, Piramanayagam, Chen, Ting, Rosin, Jake, Liblit, Ben

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

31

[ACM Press the 31st IEEE/ACM International Conference - Singapore, Singapore (2016.09.03-2016.09.07)] Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering - ASE 2016 - Array length inference for C library bindings

Maas, Alisa J., Nazaré, Henrique, Liblit, Ben

Year:

2016

Language:

english

File:

PDF, 392 KB

english, 2016

32

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - WODA 2008

Liblit, Ben, Rountev, Atanas

Year:

2008

Language:

english

File:

PDF, 106 KB

english, 2008

33

[ACM Press the 9th ACM SIGPLAN-SIGSOFT workshop - Toronto, Ontario, Canada (2010.06.05-2010.06.06)] Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '10 - Expect the unexpected

Rubio-González, Cindy, Liblit, Ben

Year:

2010

Language:

english

File:

PDF, 438 KB

english, 2010

34

[ACM Press the 13th International Workshop - Pittsburgh, PA, USA (2015.10.26-2015.10.26)] Proceedings of the 13th International Workshop on Dynamic Analysis - WODA 2015 - Recovering execution data from incomplete observations

Ohmann, Peter, Brown, David Bingham, Liblit, Ben, Reps, Thomas

Year:

2015

Language:

english

File:

PDF, 248 KB

english, 2015

35

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - Instrumentation and sampling strategies for cooperative concurrency bug isolation

Jin, Guoliang, Thakur, Aditya, Liblit, Ben, Lu, Shan

Year:

2010

Language:

english

File:

PDF, 536 KB

english, 2010

36

[IEEE 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE) - Silicon Valley, CA, USA (2013.11.11-2013.11.15)] 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lightweight control-flow instrumentation and postmortem analysis in support of debugging

Ohmann, Peter, Liblit, Ben

Year:

2013

Language:

english

File:

PDF, 223 KB

english, 2013

37

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - Automatic generation of library bindings using static analysis

Ravitch, Tristan, Jackson, Steve, Aderhold, Eric, Liblit, Ben

Year:

2009

Language:

english

File:

PDF, 812 KB

english, 2009

38

[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - The care and feeding of wild-caught mutants

Brown, David Bingham, Vaughn, Michael, Liblit, Ben, Reps, Thomas

Year:

2017

Language:

english

File:

PDF, 705 KB

english, 2017

39

[ACM Press the Seventh International Workshop - Chicago, Illinois (2009.07.20-2009.07.20)] Proceedings of the Seventh International Workshop on Dynamic Analysis - WODA '09 - Cooperative crug isolation

Thakur, Aditya, Sen, Rathijit, Liblit, Ben, Lu, Shan

Year:

2009

Language:

english

File:

PDF, 699 KB

english, 2009

40

Dynamic heap type inference for program understanding and debugging

Polishchuk, Marina, Liblit, Ben, Schulze, Chloë W.

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 564 KB

english, 2007

41

Tool Support for Proof Engineering

Anne Mulhern, Charles Fischer, Ben Liblit

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 739 KB

english, 2007

42

Fixing, preventing, and recovering from concurrency bugs

Deng, DongDong, Jin, GuoLiang, de Kruijf, Marc, Li, Ang, Liblit, Ben, Lu, Shan, Qi, ShanXiang, Ren, JingLei, Sankaralingam, Karthikeyan, Song, LinHai, Wu, YongWei, Zhang, MingXing, Zhang, Wei, Zheng,

Journal:

SCIENCE CHINA Information Sciences

Year:

2015

Language:

english

File:

PDF, 532 KB

english, 2015

43

Instrumentation and sampling strategies for cooperative concurrency bug isolation

Jin, Guoliang, Thakur, Aditya, Liblit, Ben, Lu, Shan

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 536 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски